#include <stdio.h>

#include "common_data.h"
#include "broker.h"
#include "ftc.h"

int main(){
  stateMachineKernel();

  return 0;
}
